home *** CD-ROM | disk | FTP | other *** search
/ Workbench Add-On / Workbench Add-On - Volume 1.iso / Dev / SmallTalk / CompiledMethod.st < prev    next >
Encoding:
Text File  |  1995-08-25  |  17.3 KB  |  606 lines
  1. "======================================================================
  2. |
  3. |   CompiledMethod Method Definitions
  4. |
  5.  ======================================================================"
  6.  
  7.  
  8. "======================================================================
  9. |
  10. | Copyright (C) 1990, 1991, 1992 Free Software Foundation, Inc.
  11. | Written by Steve Byrne.
  12. |
  13. | This file is part of GNU Smalltalk.
  14. |
  15. | GNU Smalltalk is free software; you can redistribute it and/or modify it
  16. | under the terms of the GNU General Public License as published by the Free
  17. | Software Foundation; either version 1, or (at your option) any later version.
  18. | 
  19. | GNU Smalltalk is distributed in the hope that it will be useful, but WITHOUT
  20. | ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
  21. | FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
  22. | details.
  23. | 
  24. | You should have received a copy of the GNU General Public License along with
  25. | GNU Smalltalk; see the file COPYING.  If not, write to the Free Software
  26. | Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  
  27. |
  28.  ======================================================================"
  29.  
  30.  
  31. "
  32. |     Change Log
  33. | ============================================================================
  34. | Author       Date       Change 
  35. | sbb         15 Sep 91      Adjusted to account for larger numbers of primitives,
  36. |              literals, and temporaries.
  37. |
  38. | sbb         16 Mar 91      Class creation now separate statement.
  39. |
  40. | sbb         22 Sep 90      Fixed printOn method to account for change to String
  41. |              printOn:.
  42. |
  43. | sbyrne     27 Dec 89      Added real print method for compiled methods.
  44. |
  45. | sbyrne      6 Sep 89      Added lots of methods: inspect, =, hash, method
  46. |              cateogry, methodSourceCode, methodSourceString, and
  47. |              some private accessors such as bytecodeAt:.
  48. |
  49. | sbyrne     25 Apr 89      created.
  50. |
  51. "
  52.  
  53. ArrayedCollection variableByteSubclass: #CompiledMethod
  54.           instanceVariableNames: 'descriptor methodHeader'
  55.           classVariableNames: ''
  56.           poolDictionaries: ''
  57.           category: nil
  58. !
  59.  
  60. CompiledMethod comment:
  61. 'I represent methods that have been compiled.  I can recompile
  62. methods from their source code, I can invoke Emacs to edit the source code
  63. for one of my instances, and I know how to access components of my
  64. instances.' !
  65.  
  66.  
  67. "Make sure that this symbol is defined, even if it doesn't work just
  68. yet."
  69. Smalltalk at: #Debugger put: nil!
  70.  
  71. !CompiledMethod methodsFor: 'basic'!
  72.  
  73. methodCategory
  74.     ^descriptor category
  75. !
  76.  
  77. methodCategory: aCategory
  78.     ^descriptor category: aCategory
  79. !
  80.  
  81. methodSourceCode
  82.     ^descriptor sourceCode
  83. !
  84.  
  85. methodSourceString
  86.     ^descriptor sourceString
  87. !
  88.  
  89. methodSourceFile
  90.     ^descriptor sourceFile
  91. !
  92.  
  93. methodSourcePos
  94.     ^descriptor sourcePos
  95. !
  96.  
  97. = aMethod
  98.     descriptor = aMethod getDescriptor ifFalse: [ ^false ].
  99.     methodHeader = aMethod getHeader ifFalse: [ ^false ].
  100.     1 to: self numLiterals do:
  101.         [ :i |  (self literalAt: i) = (aMethod literalAt: i)
  102.                 ifFalse: [ ^false ] ].
  103.     1 to: self numBytecodes do:
  104.         [ :i | (self bytecodeAt: i) = (aMethod bytecodeAt: i)
  105.                 ifFalse: [ ^false ] ].
  106.     ^true
  107. !
  108.  
  109. hash
  110.     | hashValue |
  111.     hashValue _ descriptor hash.
  112.     hashValue _ ((hashValue bitShift: 1)
  113.                   bitXor: methodHeader hash)
  114.           bitAnd: 16r1FFFFFFF.
  115.     1 to: self numLiterals do:
  116.         [ :i | hashValue _ ((hashValue bitShift: 1)
  117.                             bitXor: (self literalAt: i) hash)
  118.                      bitAnd: 16r1FFFFFFF ].
  119.     1 to: self numBytecodes do:
  120.         [ :i | hashValue _ ((hashValue bitShift: 1)
  121.                              bitXor: (self bytecodeAt: i) hash)
  122.                      bitAnd: 16r1FFFFFFF ].
  123.     ^hashValue
  124. !!
  125.  
  126.  
  127.  
  128. !CompiledMethod methodsFor: 'method header accessors'!
  129.  
  130. "The structure of a method header is as follows (from mstinterp.h)
  131.  
  132. ### fix this up 
  133.    3                   2                   1 
  134.  1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0
  135. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  136. |1|.|.|.|.|.|flg| prim index    | #args   | #temps  | #literals |
  137. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  138.  
  139. literals 6 0..5
  140. temporarycount 5 6..10
  141. args 5 11..15
  142. primitiveIndex 8 16..23
  143. flags 2 24-25
  144. flags 0 -- use arguments as they are, ignore prim index
  145. flags 1 -- return self
  146. flags 2 -- return instance variable
  147. flags 3 -- call the primitive indexed by primIndex
  148. "
  149.  
  150. flags
  151.     "The xor here is related to 1) the fact that the the flags field overlaps 
  152.      with the penultimate msb, and 2) the way that integers are encoded."
  153.     ^((methodHeader bitShift: -29) bitAnd: 16r3) bitXor: 2
  154. !
  155.  
  156. primitive
  157.     ^(methodHeader bitShift: -19) bitAnd: 16r3FF
  158. !
  159.  
  160. numArgs
  161.     | flags |
  162.     flags _ self flags.
  163.     (flags = 2) | (flags = 3)
  164.         ifTrue: [ ^0 ].
  165.     ^(methodHeader bitShift: -14) bitAnd: 16r1F
  166. !
  167.  
  168. numTemps
  169.     self flags = 0
  170.         ifFalse: [ ^0 ].
  171.     ^(methodHeader bitShift: -8) bitAnd: 16r3F
  172. !
  173.  
  174. numLiterals
  175.     self flags = 0
  176.         ifFalse: [ ^0 ].
  177.     ^methodHeader bitAnd: 16rFF
  178. !!
  179.  
  180.  
  181.  
  182. !CompiledMethod methodsFor: 'copying'!
  183.  
  184. shallowCopy
  185.     ^(CompiledMethod newMethod: self basicSize
  186.              header: methodHeader) shallowCopyMethodContents: self
  187. !
  188.  
  189. deepCopy
  190.     ^(CompiledMethod newMethod: self basicSize
  191.              header: methodHeader) deepCopyMethodContents: self
  192. !!
  193.  
  194.  
  195.  
  196. !CompiledMethod methodsFor: 'debugging'!
  197.  
  198. inspect
  199.     | class instVars |
  200.     class _ self class.
  201.     instVars _ class instVarNames.
  202.     stdout nextPutAll: 'An instance of '.
  203.     class printNl.
  204.     1 to: (instVars size - 1) do: "assumes methodHeader is last inst var"
  205.         [ :i | stdout nextPutAll: '  ';
  206.            nextPutAll: (instVars at: i);
  207.            nextPutAll: ': '.
  208.            (self objectAt: i)  printNl ].
  209.     stdout nextPutAll: '  Header Flags: '; nl;
  210.         nextPutAll: '    flags: '.
  211.     self flags printNl.
  212.     stdout nextPutAll: '    primitive index: '.
  213.     self primitive printNl.
  214.     stdout nextPutAll: '    number of arguments: '.
  215.     self numArgs printNl.
  216.     stdout nextPutAll: '    number of temporaries: '.
  217.     self numTemps printNl.
  218.     stdout nextPutAll: '    number of literals: '.
  219.     self numLiterals printNl.
  220.     self numLiterals > 0
  221.         ifTrue: [ stdout nextPutAll: '  literals: ['; nl.
  222.           1 to: self numLiterals do:
  223.               [ :i | stdout nextPutAll: '    '.
  224.                  i print.
  225.                  stdout nextPutAll: ': '.
  226.                  (self literalAt: i) storeNl ].
  227.           stdout nextPutAll: '  ]'; nl ]
  228. !!
  229.  
  230.  
  231.  
  232. !CompiledMethod methodsFor: 'debugging'!
  233. breakpointAt: byteIndex
  234.     "self notYetImplemented"
  235.     Debugger recordOldByte: (self bytecodeAt: byteIndex)
  236.          atIndex: byteIndex
  237.          forMethod: self.
  238.     self bytecodeAt: byteIndex put: Debugger debugByte
  239. !
  240.  
  241. breakAtLine: lineNumber
  242.     self notYetImplemented
  243. !
  244.  
  245. removeBreakpointAt: byteIndex
  246.     | oldByte |
  247.     oldByte _ Debugger origByteAt: byteIndex forMethod: self.
  248.     oldByte notNil 
  249.     ifTrue: [ self bytecodeAt: byteIndex put: oldByte ]
  250. !!
  251.  
  252.  
  253.  
  254. !CompiledMethod methodsFor: 'printing'!
  255.  
  256. printOn: aStream
  257.     "### This could be more interesting, such as calling the decompiler, or
  258.      printing out the byte codes, or ... yeah, yeah, that's it, the byte
  259.      codes...also need to decode the header information to display that
  260.      interesting information"
  261.     | primIndex numLits |
  262.     true 
  263.     ifTrue: [ aStream nextPutAll: 'a CompiledMethod' ]
  264.     ifFalse: 
  265.         [ aStream nextPutAll: 'Header Info: '.
  266.           (primIndex _ self primitive) > 0 
  267.           ifTrue: [ aStream nextPutAll: 'Primitive: ' ].
  268.           numLits _ self numLiterals.
  269.           aStream nextPutAll: ' # Args: '.
  270.           (self numArgs) printOn: aStream.
  271.           aStream nextPutAll: ' # Temps: '.
  272.           (self numTemps) printOn: aStream.
  273.           aStream nextPutAll: ' # Literals: '.
  274.           numLits printOn: aStream. aStream nl.
  275.           numLits > 0 
  276.           ifTrue: [ aStream nextPutAll: 'Literals'; nl;
  277.                 nextPutAll: '--------'; nl.
  278.                 1 to: numLits do:
  279.                 [ :i | aStream nextPutAll: '    ['.
  280.                        i printOn: aStream.
  281.                        aStream nextPutAll: ']: '.
  282.                        (self literalAt: i) printOn: aStream.
  283.                        aStream nl ] ].
  284.           " Emit header info here too "
  285.              aStream nextPutAll: 'Byte codes'; nl;
  286.               nextPutAll: '----------'; nl.
  287.           self printByteCodesOn: aStream ]
  288.                          
  289. !
  290.  
  291. storeOn: aStream
  292.     self printOn: aStream
  293. !!
  294.  
  295.  
  296.  
  297. !CompiledMethod methodsFor: 'private'!
  298.  
  299. shallowCopyMethodContents: aMethod 
  300.     "Don't need to copy the method header; it's already done"
  301.     descriptor _ aMethod getDescriptor.
  302.     1 to: aMethod numLiterals do:
  303.         [ :i | self literalAt: i put: (aMethod literalAt: i) ].
  304.     1 to: aMethod numBytecodes do:
  305.         [ :i | self bytecodeAt: i put: (aMethod bytecodeAt: i) ]
  306. !
  307.  
  308. deepCopyMethodContents: aMethod
  309.     "Don't need to copy the method header; it's already done"
  310.     descriptor _ aMethod getDescriptor deepCopy.
  311.     1 to: aMethod numLiterals do:
  312.         [ :i | self literalAt: i put: (aMethod literalAt: i) deepCopy ].
  313.     1 to: aMethod numBytecodes do:
  314.         [ :i | self bytecodeAt: i put: (aMethod bytecodeAt: i) ]
  315. !
  316.  
  317. printByteCodesOn: aStream
  318.     | numBytes i |
  319.     i _ 1.
  320.     numBytes _ self numBytecodes.
  321.     [ i <= numBytes ] whileTrue:
  322.     [ i _ i + (self printByteAt: i on: aStream) ]
  323. !
  324.  
  325.  
  326. printByteAt: anIndex on: aStream
  327.     | byte nextByte skip |
  328.     byte _ self bytecodeAt: anIndex.
  329.     byte == 127 "Debugger debugByte"
  330.     ifTrue: [ byte _ Debugger origByteAt: anIndex forMethod: self ].
  331.     skip _ 1.
  332.     aStream nextPutAll: '    ['.
  333.     anIndex printOn: aStream.
  334.     aStream nextPutAll: ']: '.
  335.     byte < 95 ifTrue:
  336.     [ self printIndexedAt: anIndex on: aStream ].
  337.     (byte between: 96 and: 111) ifTrue:
  338.     [ self emitSimplePop: byte on: aStream ].
  339.     (byte between: 112 and: 125) ifTrue: 
  340.     [ self emitBuiltin: byte on: aStream ].
  341.     "127 is the debugger breakpoint and we don't get it here"
  342.     byte == 128 ifTrue: 
  343.     [ skip _ 2.
  344.       self print2BytePush: (self bytecodeAt: anIndex + 1) on: aStream ].
  345.     byte == 129 ifTrue: 
  346.     [ skip _ 2.
  347.       self print2ByteStackOp: 'store' at: anIndex on: aStream ].
  348.     byte == 130 ifTrue: 
  349.     [ skip _ 2.
  350.       self print2ByteStackOp: 'pop and store' at: anIndex on: aStream ].
  351.     (byte between: 131 and: 134) ifTrue: 
  352.     [ skip _ self emitIndexedSend: anIndex on: aStream ].
  353.     byte == 135 ifTrue:
  354.     [ aStream nextPutAll: 'pop stack top ' ].
  355.     byte == 136 ifTrue:
  356.     [ aStream nextPutAll: 'duplicate stack top' ].
  357.     byte == 137 ifTrue: 
  358.     [ aStream nextPutAll: 'push current context' ].
  359.     (byte between: 138 and: 143) ifTrue:
  360.     [ aStream nextPutAll: 'ILLEGAL bytecode '.
  361.       byte printOn: aStream ].
  362.     (byte between: 144 and: 175) ifTrue:
  363.     [ skip _ self printJump: anIndex on: aStream ].
  364.     (byte between: 176 and: 191) ifTrue:
  365.     [ aStream nextPutAll: 'send arithmetic message "'.
  366.       (#(+            -           <            >
  367.          <=         >=          =            ~=
  368.          *            /           \\            @
  369.          bitShift:    //          bitAnd:     bitOr:)
  370.            at: (byte bitAnd: 15) + 1) printOn: aStream.
  371.       aStream nextPut: $" ].
  372.     (byte between: 192 and: 207) ifTrue:
  373.     [ aStream nextPutAll: 'send special message "'.
  374.       (#(at:        at:put:        size        next
  375.             nextPut:    atEnd        ==            class
  376.             blockCopy:    value        value:      do:
  377.         new            new:        x            y)
  378.            at: (byte bitAnd: 15) + 1) printOn: aStream.
  379.       aStream nextPut: $" ].
  380.     (byte between: 208 and: 255) ifTrue:
  381.     [ self printSmallArgSend: byte on: aStream ].
  382.     aStream nl.
  383.     ^skip
  384. !    
  385.  
  386. printIndexedAt: anIndex on: aStream
  387.     | byte index |
  388.     byte _ self bytecodeAt: anIndex.
  389.     byte <= 15 ifTrue:
  390.         [ ^self pushIndexed: 'Instance Variable' 
  391.         withIndex: (byte bitAnd: 15)
  392.         on: aStream ].
  393.     byte <= 31 ifTrue:
  394.     [ ^self pushIndexed: 'Temporary'
  395.         withIndex: (byte bitAnd: 15)
  396.         on: aStream ].
  397.     byte <= 63 ifTrue:
  398.     [ ^self pushIndexed: 'Literal'
  399.         withIndex: (byte bitAnd: 31)
  400.         on: aStream ].
  401.  
  402.     " >= 64 case here "
  403.     aStream nextPutAll: 'push Global Variable['.
  404.     (byte bitAnd: 31) printOn: aStream.
  405.     aStream nextPutAll: '] = '.
  406.     self printAssociationKeyFor: (byte bitAnd: 31) on: aStream
  407. !
  408.  
  409. pushIndexed: indexLabel withIndex: anIndex on: aStream
  410.     aStream nextPutAll: 'push '.
  411.     indexLabel printOn: aStream.
  412.     aStream nextPut: $[.
  413.     anIndex printOn: aStream.
  414.     aStream nextPut: $]
  415. !
  416.  
  417. emitSimplePop: byte on: aStream
  418.     (byte between: 96 and: 103) ifTrue:
  419.     [ aStream nextPutAll: 'pop and store instance variable['.
  420.       (byte bitAnd: 7) printOn: aStream.
  421.       aStream nextPut: $] ].
  422.     (byte between: 104 and: 111) ifTrue:
  423.     [ aStream nextPutAll: 'pop and store Temporary['.
  424.       (byte bitAnd: 7) printOn: aStream.
  425.       aStream nextPut: $] ].
  426. !
  427.  
  428. emitBuiltin: byte on: aStream
  429.     byte == 112 ifTrue: [ aStream nextPutAll: 'push self' ].
  430.     byte == 113 ifTrue: [ aStream nextPutAll: 'push true' ].
  431.     byte == 114 ifTrue: [ aStream nextPutAll: 'push false' ].
  432.     byte == 115 ifTrue: [ aStream nextPutAll: 'push nil' ].
  433.     byte == 116 ifTrue: [ aStream nextPutAll: 'push -1' ].
  434.     byte == 117 ifTrue: [ aStream nextPutAll: 'push 0' ].
  435.     byte == 118 ifTrue: [ aStream nextPutAll: 'push 1' ].
  436.     byte == 119 ifTrue: [ aStream nextPutAll: 'push 2' ].
  437.     byte == 120 ifTrue: [ aStream nextPutAll: 'return self' ].
  438.     byte == 121 ifTrue: [ aStream nextPutAll: 'return true' ].
  439.     byte == 122 ifTrue: [ aStream nextPutAll: 'return false' ].
  440.     byte == 123 ifTrue: [ aStream nextPutAll: 'return nil' ].
  441.     byte == 124 ifTrue: [ aStream nextPutAll: 'return Message stack top' ].
  442.     byte == 125 ifTrue: [ aStream nextPutAll: 'return Block stack top' ].
  443.     byte == 126 ifTrue: [ aStream nextPutAll: '### ILLEGAL BYTE CODE 126 ###' ]
  444. !
  445.  
  446. print2BytePush: byte on: aStream
  447.     self printIndexedPush: (byte bitAnd: 63)
  448.      type: (byte bitShift: -6)
  449.      on: aStream
  450. !
  451.  
  452. printIndexedPush: index type: typeIndex on: aStream
  453.     | typeName |
  454.     typeName _ self indexedLocationName: typeIndex.
  455.     aStream nextPutAll: 'push ';
  456.         nextPutAll: typeName;
  457.         nextPutAll: '['.
  458.     index printOn: aStream.
  459.     aStream nextPut: $].
  460.     typeIndex = 3 ifTrue:
  461.     [ aStream nextPutAll: ' = '.
  462.       self printAssociationKeyFor: index
  463.            on: aStream ]
  464. !
  465.  
  466. indexedLocationName: locIndex
  467.     ^#('Instance Variable' 'Temporary' 'Literal' 'Global Variable')
  468.     at: locIndex + 1
  469. !
  470.  
  471. print2ByteStackOp: opName at: anIndex on: aStream
  472.     | nextByte locationName locIndex |
  473.     nextByte _ self bytecodeAt: anIndex + 1.
  474.     locIndex _ nextByte bitShift: -6.
  475.     locationName _ self indexedLocationName: locIndex.
  476.     locIndex == 2 ifTrue: [ aStream nextPutAll: 'ILLEGAL ' ].
  477.     aStream nextPutAll: opName;
  478.         nextPutAll: locationName;
  479.         nextPutAll:'['.
  480.     (nextByte bitAnd: 63) printOn: aStream.
  481.     aStream nextPut: $].
  482.     locIndex == 3 ifTrue:
  483.     [ aStream nextPutAll: ' = '.
  484.       self printAssociationKeyFor: (nextByte bitAnd: 63) on: aStream ]
  485. !
  486.  
  487. emitIndexedSend: anIndex on: aStream
  488.     | byte byte1 byte2 toSuper |
  489.     byte _ self bytecodeAt: anIndex.
  490.     byte _ byte - 131.        "transform to 0..3"
  491.     byte <= 1 ifTrue: [ toSuper _ '' ]
  492.           ifFalse: [ toSuper _ 'to Super ' ].
  493.     (byte == 0) | (byte == 2)
  494.     ifTrue:
  495.         [ byte1 _ self bytecodeAt: anIndex + 1.
  496.           self emitGenericSend: toSuper index: (byte1 bitAnd: 31)
  497.            args: (byte1 bitShift: -5) on: aStream.
  498.           ^2 ]
  499.     ifFalse:
  500.         [ byte1 _ self bytecodeAt: anIndex + 1.
  501.           byte2 _ self bytecodeAt: anIndex + 2.
  502.           self emitGenericSend: toSuper index: byte2
  503.            args: byte1 on: aStream.
  504.           ^3]
  505. !
  506.  
  507.  
  508. emitGenericSend: toSuper index: anIndex args: numArgs on: aStream
  509.     aStream nextPutAll: 'send ';
  510.     nextPutAll: toSuper;
  511.     nextPutAll: 'selector '.
  512.     anIndex printOn: aStream.
  513.     aStream nextPutAll: ', '.
  514.     numArgs printOn: aStream.
  515.     aStream nextPutAll: ' args = '.
  516.     self printLiteralSymbolAt: anIndex on: aStream
  517. !
  518.  
  519. printJump: anIndex on: aStream
  520.     | byte |
  521.     byte _ self bytecodeAt: anIndex.
  522.     byte <= 151 ifTrue:
  523.     [ aStream nextPutAll: 'jump to '.
  524.       ((byte bitAnd: 7) + anIndex + 1 + 1 ) printOn: aStream.
  525.       ^1 ].
  526.     byte <= 159 ifTrue:
  527.     [ aStream nextPutAll: 'jump to '.
  528.       ((byte bitAnd: 7) + anIndex + 1 + 1 ) printOn: aStream.
  529.       aStream nextPutAll: ' if false'.
  530.       ^1 ].
  531.     byte <= 167 ifTrue:
  532.     [ aStream nextPutAll: 'jump to '.
  533.       (((byte bitAnd: 7) - 4) * 256 + (self bytecodeAt: anIndex + 1)
  534.           + anIndex + 2) printOn: aStream.
  535.       ^2 ].
  536.     byte <= 171 ifTrue:
  537.     [ aStream nextPutAll: 'pop and jump to '.
  538.       ((byte bitAnd: 3) * 256 + (self bytecodeAt: anIndex + 1)
  539.           + anIndex + 2) printOn: aStream.
  540.       aStream nextPutAll: ' if true'.
  541.       ^2 ].
  542.     byte <= 175 ifTrue:
  543.     [ aStream nextPutAll: 'pop and jump to '.
  544.       ((byte bitAnd: 3) * 256 + (self bytecodeAt: anIndex + 1)
  545.           + anIndex + 2) printOn: aStream.
  546.       aStream nextPutAll: ' if false'.
  547.       ^2 ]
  548. !
  549.  
  550. printSmallArgSend: byte on: aStream
  551.     | numArgs |
  552.     byte _ byte - 208.
  553.     numArgs _ byte // 16.
  554.     aStream nextPutAll: 'send selector '.
  555.     (byte bitAnd: 15) printOn: aStream.
  556.     aStream nextPutAll: ', '.
  557.     numArgs printOn: aStream.
  558.     numArgs == 1 
  559.     ifTrue: [ aStream nextPutAll: ' arg' ]
  560.     ifFalse: [ aStream nextPutAll: ' args' ].
  561.     aStream nextPutAll: ' = '.
  562.     self printLiteralSymbolAt: (byte bitAnd: 15) on: aStream
  563. !
  564.  
  565. printAssociationKeyFor: anIndex on: aStream
  566.     | assoc |
  567.     assoc _ self literalAt: anIndex + 1.
  568.     assoc key printOn: aStream
  569. !
  570.  
  571. printLiteralSymbolAt: anIndex on: aStream
  572.     (self literalAt: anIndex + 1) printOn: aStream
  573. !
  574.  
  575. getDescriptor
  576.     ^descriptor
  577. !
  578.  
  579. getHeader
  580.     ^methodHeader
  581. !
  582.  
  583. literalAt: anIndex
  584.     ^self objectAt: (anIndex + 2)
  585. !
  586.  
  587. literalAt: anInteger put: aValue
  588.     self objectAt: anInteger + 2 put: aValue
  589. !
  590.  
  591. numBytecodes
  592.     ^(self basicSize) - (self bytecodeStart)
  593. !
  594.  
  595. bytecodeAt: anIndex
  596.     ^self basicAt: (anIndex + self bytecodeStart)
  597. !
  598.  
  599. bytecodeAt: anIndex put: aValue
  600.     ^self basicAt: (anIndex + self bytecodeStart) put: aValue
  601. !
  602.  
  603. bytecodeStart
  604.     ^4 * self numLiterals
  605. !!
  606.